Detects tag-stripping loads and stores that
may be used to copy or swap capabilities

…d globals

Rely on ElementRegion type alignment solely when shift value is unknown

Except for char shifts

…nment

…n to warning

ProvenanceSourceChecker, CapabilityCopyChecker, CapabilityAlignmentChecker

…ryOperator

…ning

…i-compressed-cap

… BugType